翻訳と辞書
Words near each other
・ Tycho Brahe Prize
・ Tycho G
・ Tycho Jæger
・ Tycho Kielland
・ Tycho Muda
・ Tycho van Meer
・ Tycho Weißgerber
・ Tycho-2 Catalogue
・ Tychobraheidae
・ Tychon
・ Tychonic system
・ Tychonoff axiom
・ Tychonoff cube
・ Tychonoff plank
・ Tychonoff space
Tychonoff's theorem
・ Tychonoff's theorem (disambiguation)
・ Tychoplankton
・ Tychowo
・ Tychowo (disambiguation)
・ Tychowo, Stargard County
・ Tychowo, Sławno County
・ Tychozorente
・ Tychsen
・ Tychy
・ Tychy Brewery
・ Tychy City Stadium
・ Tychy railway station
・ Tychów
・ Tychów Nowy


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Tychonoff's theorem : ウィキペディア英語版
Tychonoff's theorem

In mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology. The theorem is named after Andrey Nikolayevich Tikhonov (whose surname sometimes is transcribed ''Tychonoff''), who proved it first in 1930 for powers of the closed unit interval and in 1935 stated the full theorem along with the remark that its proof was the same as for the special case. The earliest known published proof is contained in a 1937 paper of Eduard Čech.
Several texts identify Tychonoff's theorem as the single most important result in general topology (Willard, p. 120 ); others allow it to share this honor with Urysohn's lemma.
== Topological definitions ==

The theorem depends crucially upon the precise definitions of compactness and of the product topology; in fact, Tychonoff's 1935 paper defines the product topology for the first time. Conversely, part of its importance is to give confidence that these particular definitions are the correct (i.e., most useful) ones.
Indeed, the Heine–Borel definition of compactness — that every covering of a space by open sets admits a finite subcovering — is relatively recent. More popular in the 19th and early 20th centuries was the Bolzano–Weierstrass criterion that every sequence admits a convergent subsequence, now called sequential compactness. These conditions are equivalent for metrizable spaces, but neither one implies the other in the class of all topological spaces.
It is almost trivial to prove that the product of two sequentially compact spaces is sequentially compact — one passes to a subsequence for the first component and then a subsubsequence for the second component. An only slightly more elaborate "diagonalization" argument establishes the sequential compactness of a countable product of sequentially compact spaces. However, the product of continuum many copies of the closed unit interval (with its usual topology) fails to be sequentially compact with respect to the product topology, even though it is compact by Tychonoff's theorem (e.g., see ).
This is a critical failure: if ''X'' is a completely regular Hausdorff space, there is a natural embedding from ''X'' into ()''C''(''X'',()), where ''C''(''X'',()) is the set of continuous maps from ''X'' to (). The compactness of ()''C''(''X'',()) thus shows that every completely regular Hausdorff space embeds in a compact Hausdorff space (or, can be "compactified".) This construction is the Stone–Čech compactification. Conversely, all subspaces of compact Hausdorff spaces are completely regular Hausdorff, so this characterizes the completely regular Hausdorff spaces as those that can be compactified. Such spaces are now called Tychonoff spaces.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Tychonoff's theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.